Inductive definition is a method which is used to define some concepts, but what is the inductive definition bas not a strict description yet. In this paper the auther, proceeding from the algebra system, gives a strict definition to the inductive definition. 归纳定义是定义某些概念时常用到的一种定义方法,但是,什么叫做归纳定义并没有严格的说法,本文从代数系统的观点出发,对归纳定义进行了严格的数学定义。
And we give the inductive definition of attribute dependencies induced in the syntactic attributed tree. 和给出了在HPSG句法结构树上归纳的属性依存关系的递归定义。